Petri net - PDFSEARCH.IO - Document Search Engine

Petri net
Results: 320

#	Item
91	Transport Research Arena 2014, Paris Analysis of the design, operation and maintenance options to provide a fault tolerant railway system Claudia Fecarotti, John Andrews, Rasa Remenyte-Prescott Nottingham Transportatio Add to Reading List Source URL: tra2014.traconference.eu Language: English* - Date: 2015-01-12 11:08:27 Concurrency Diagrams Petri net Design Systems science Token Reliability engineering Simulation Axle counter Science Models of computation Railway signalling
92	Modeling formalisms in Systems Biology Add to Reading List Source URL: www.amb-express.com Language: English Knowledge Gene regulatory network Biochemical systems theory Petri net SBML Flux balance analysis Cellular differentiation Agent-based model Metabolic engineering Systems biology Biology Science
93	A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis∗ Iliano Cervesato Nancy A. Durgin Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-12-18 02:19:22 Logic in computer science Multiset Π-calculus Petri net Rewriting Mathematics Theoretical computer science Applied mathematics
94	Automation of Presentation Record Production Based on Rich-media Technology Using SNT Petri Nets Theory Ivo Martiník VŠB-Technical University of Ostrava, Faculty of Economics, Sokolská třída 33, Ostrava 1, Cz Add to Reading List Source URL: downloads.hindawi.com Language: English - Date: 2015-03-20 07:10:01 Petri net Process calculus Models of computation Concurrency Diagrams
95	A design methodology and a prototyping tool dedicate to adaptive interface generation Sébastien Romitti, Charles Santoni, Philippe François DIAM-IUSPIM Domaine Universitaire de St Jérôme, Avenue Escadrille Normandie- Add to Reading List Source URL: ui4all.ics.forth.gr Language: English - Date: 2007-11-27 14:03:48 Human communication Computing User interface management systems Petri net User interface Human factors Human–computer interaction Software Humanâ€“computer interaction User interfaces Concurrency
96	Distributed Safety Controllers for Web Services Anders Sandholm and Michael I. Schwartzbach BRICS? , Department of Computer Science University of Aarhus, Ny Munkegade DK-8000 Aarhus C, Denmark Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-03-10 07:36:26 Formal methods Computer science Finite-state machine Petri net Automata theory Models of computation Theoretical computer science
97	Petri Net-Based Cooperation In Multi-Agent Systems Y.T. Kotb, S.S. Beauchemin, and J.L. Barron {ykotb, beau, barron} @csd.uwo.ca Department of Computer Science The University of Western Ontario Add to Reading List Source URL: www.csd.uwo.ca Language: English - Date: 2007-11-08 22:02:00 Petri net Robotics Robot Diagrams Models of computation Concurrency
98	Petri Net Analysis using Invariant Generation Sriram Sankaranarayanan, Henny Sipma and Zohar Manna ? Computer Science Department Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2004-01-17 02:11:40 Invariant Mathematics Concurrency Diagrams Petri net
99	DDP FINALHow to prepare and use gradient plates. David Perkins Background Petri plates with a continuous gradient of concentrations from one side to the other were described by Add to Reading List Source URL: www.fgsc.net Language: English - Date: 2014-10-15 11:27:33 Agar Gels Petri dish Epsilometer test Neurospora Microbiology Biology Clinical pathology
100	FJB FINAL 2 DecHow to plate conidia and ascospores. Fred Bowring Background One may wish to plate either type of spore for a number of reasons and as long as the greater sensitivity Add to Reading List Source URL: www.fgsc.net Language: English - Date: 2014-10-15 11:27:33 Ascomycota Ascospore Agar Conidium Spore Petri dish Biology Microbiology Germ cells

UPDATE